Representing design tradeoffs in safety-critical systems
نویسندگان
چکیده
منابع مشابه
Safety - Critical Systems Design
Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...
متن کاملCreative design in safety critical systems
Creative design in safety critical systems is a quite unexplored area of research. Historically, the design of tools, technologies and procedures in such domains has been advocated to engineers and human factors experts who interpreted the development of new concepts mainly as a problem solving activity. For example, one of the most popular methods for technological innovation, TRIZ (Theory of ...
متن کاملDesign patterns for safety-critical embedded systems
Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...
متن کاملData-flow Networks in the Design of Safety-critical Systems
The paper deals with practical aspects of developing control systems. We briefly discuss safety-critical systems, we examine the use of formal methods as a possible technique for increasing safety and reliability (by allowing a formal specification of the initial requirements of the system and by avoiding design errors) and we propose a design methodology for such systems based on data-flow net...
متن کاملDesign for Constraint Violation Detection in Safety-Critical Systems
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in determining the constraints. To promo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2005
ISSN: 0163-5948
DOI: 10.1145/1082983.1083228